Search Results
Cody Roux - Pure Type Systems
The Structural Theory of Pure Type Systems
James Wiles Podcast #12 - Cody Roux
"Type Systems - The Good, Bad and Ugly" by Paul Snively and Amanda Laucher
Pure type system
#18 Gödel's Incompleteness Theorems - Cody Roux
ICFP 2012. Paula Severi: Pure Type Systems with Co-recursion on Streams.
Type Systems in Theorem Provers - Eric Willigers
Thomas Dietert-Types as Program Specifications: A Intro to Type-Level Programming in Haskell λC 2019
Type systems in functional programming: With examples in Haskell and Idris - Thanate Dhinasakdanon
The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems
Cody Roux - SMT for DSLs: a Tutorial
